1,207 research outputs found
Minimizing regret when dissolving a partnership
We study the problem of dissolving an equal-entitlement partnership when the objective is to minimize maximum regret. We initially focus on the family of linear-pricing mechanisms and derive regret-optimizing strategies. We also demonstrate that there exist linear-pricing mechanisms satisfying ex-post efficiency. Next, we analyze a binary-search mechanism which is ex-post individually rational. We discuss connections with the standard Bayesian-Nash framework for both linear and binary-search mechanisms. On a more general level, we show that if entitlements are unequal, ex-post efficiency and ex-post individual rationality impose significant restrictions on permissible mechanisms. In particular, they rule out both linear and binary-search mechanisms.Partnership dissolution; minimax regret; fair division; allocative efficiency
Surface Structural Disordering in Graphite upon Lithium Intercalation/Deintercalation
We report on the origin of the surface structural disordering in graphite
anodes induced by lithium intercalation and deintercalation processes. Average
Raman spectra of graphitic anodes reveal that cycling at potentials that
correspond to low lithium concentrations in LixC (0 \leq x < 0.16) is
responsible for most of the structural damage observed at the graphite surface.
The extent of surface structural disorder in graphite is significantly reduced
for the anodes that were cycled at potentials where stage-1 and stage-2
compounds (x > 0.33) are present. Electrochemical impedance spectra show larger
interfacial impedance for the electrodes that were fully delithiated during
cycling as compared to electrodes that were cycled at lower potentials (U <
0.15 V vs. Li/Li+). Steep Li+ surface-bulk concentration gradients at the
surface of graphite during early stages of intercalation processes, and the
inherent increase of the LixC d-spacing tend to induce local stresses at the
edges of graphene layers, and lead to the breakage of C-C bonds. The exposed
graphite edge sites react with the electrolyte to (re)form the SEI layer, which
leads to gradual degradation of the graphite anode, and causes reversible
capacity loss in a lithium-ion battery.Comment: 12 pages, 5 figure
Formal Specification of a Dynamically Configurable Distributed System
The Programmers\u27 Playground is a programming environment that supports end-user construction of distributed multimedia applications. The system implements a new programming model that is based, in part, upon ideas from the formal I/O automaton model of Lynch and Tuttle. Important features of The Programmers\u27 Playground are a separation of communication and computation and graphical support for dynamic reconfiguration. This paper provides a formal specification of the Playground programming model and runtime system in terms of the I/O automaton model on which it is based. Exploiting the compositionality properties of the I/O automaton model, the formal specification is describd as a composition of several modules. A behavioral specification of each module is presented, followed by an I/O automaton that implements each specification. We present the specification in two stages, a centralized specification that captures the allowable behaviors, and then a detailed distributed implementation
Large Deviation Local Limit Theorems for Arbitrary Sequences of Random Varibles
The results of W. Richter (Theory Prob. Appl. (1957) 2 206-219) on sums of independent, identically distributed random variables are generalized to arbitrary sequences of random variables Tn. Under simple conditions on the cumulant generating function of Tn, which imply that Tn/n converges to zero, it is shown, for arbitrary sequences {mn}, that kn (mn), the probability density function of Tn/n at mn, is asymptotic to an expression involving the large deviation rate of Tn/n. Analogous results for lattice random variables are also given. Applications of these results to statistics appearing in nonparametric inference are presented. Other applications to asymptotic distributions in statistical mechanics are pursued in another paper
Minimizing Regret when Dissolving a Partnership
We study the problem of dissolving an equal-entitlement partnership when the objective is to minimize maximum regret. We initially focus on the family of linear-pricing mechanisms and derive regret-optimizing strategies. We also demonstrate that there exist linear-pricing mechanisms satisfying ex-post efficiency. Next, we analyze a binary-search mechanism which is ex-post individually rational. We discuss connections with the standard Bayesian-Nash framework for both linear and binary-search mechanisms. On a more general level, we show that if entitlements are unequal, ex-post efficiency and ex-post individual rationality impose significant restrictions on permissible mechanisms. In particular, they rule out both linear and binary-search mechanisms
Real-time Measurement of Stress and Damage Evolution During Initial Lithiation of Crystalline Silicon
Crystalline to amorphous phase transformation during initial lithiation in
(100) silicon-wafers is studied in an electrochemical cell with lithium metal
as the counter and reference electrode. It is demonstrated that severe stress
jumps across the phase boundary lead to fracture and damage, which is an
essential consideration in designing silicon based anodes for lithium ion
batteries. During initial lithiation, a moving phase boundary advances into the
wafer starting from the surface facing the lithium electrode, transforming
crystalline silicon into amorphous LixSi. The resulting biaxial compressive
stress in the amorphous layer is measured in situ and it was observed to be ca.
0.5 GPa. HRTEM images reveal that the crystalline-amorphous phase boundary is
very sharp, with a thickness of ~ 1 nm. Upon delithiation, the stress rapidly
reverses, becomes tensile and the amorphous layer begins to deform plastically
at around 0.5 GPa. With continued delithiation, the yield stress increases in
magnitude, culminating in sudden fracture of the amorphous layer into
micro-fragments and the cracks extend into the underlying crystalline silicon.Comment: 12 pages, 5 figure
A NOVEL APPROACH FOR FINDING DIABETIC MELLITUS USING ENSEMBLE MODEL FOR AN OPTIMIZED CLASSIFICATION
  Diabetic mellitus is a chronic disease caused by hyperglycemia which should be treated with high care and medications. The objective of this work is to identify and classify the severity of the diabetic disease using the training data set. This is caused due to the defect in insulin secretion that may affect several organs in the body. Blood pressure and diabetic mellitus are the common twin diseases occurred in about 69.2 million people living in India around 8.7% of the population as per the data resealed in the year 2015. Correct diet, regular exercise will control disease to a great extent. In this research paper the applied methodology is a concurrent classifier for the diabetic mellitus and the results are analyzed with the supervised learning. From the University of California and Irvine repository related attributes for the diabetic mellitus are carefully measured through the ensemble classifier and the results are categorized in the dataset. This work results that boosting can be made to the dataset for obtaining accurate results and classifications. In the conclusion, ensemble methodology is the well proven methodology from the year 1993. For forecasting in N†number of domains, so for the ensemble classifier produces 93% of the accurate results are made. An audit can be made on the results and suggestions are given to the patients for taking medications with the help of medical practitioners
Bayesian Non-Exhaustive Classification A Case Study: Online Name Disambiguation using Temporal Record Streams
The name entity disambiguation task aims to partition the records of multiple
real-life persons so that each partition contains records pertaining to a
unique person. Most of the existing solutions for this task operate in a batch
mode, where all records to be disambiguated are initially available to the
algorithm. However, more realistic settings require that the name
disambiguation task be performed in an online fashion, in addition to, being
able to identify records of new ambiguous entities having no preexisting
records. In this work, we propose a Bayesian non-exhaustive classification
framework for solving online name disambiguation task. Our proposed method uses
a Dirichlet process prior with a Normal * Normal * Inverse Wishart data model
which enables identification of new ambiguous entities who have no records in
the training data. For online classification, we use one sweep Gibbs sampler
which is very efficient and effective. As a case study we consider
bibliographic data in a temporal stream format and disambiguate authors by
partitioning their papers into homogeneous groups. Our experimental results
demonstrate that the proposed method is better than existing methods for
performing online name disambiguation task.Comment: to appear in CIKM 201
- …